This paper analyzes the characteristics and limitations of approximate reasoning ( based on probability) and nonmonotonic reasoning ( based on truth maintenance system). 不精确推理和非单调推理是人工智能中两个重要的研究方面。
Research on Explanation Mechanism of Truth Maintenance Structure and Relational Database 基于真值维持结构和关系数据库的解释机制研究
Nonmonotonic Truth Maintenance System by Combining Priorities and Belief Degrees 结合优先级和可信度的非单调真值维护系统
Study of Hierarchic Knowledge Representation and Nonmonotonic Truth Maintenance for Reasoning 知识的层次表示和推理的非单调真值维护的研究
The algorithms of reasoning and truth maintenance in the stratified ATMS are presented. 给出了StratifiedATMS的推理和真值维护的算法。
Parallel Assumption-Based Truth Maintenance Simulation System 基于假设的并行真值维护模拟系统
To this problem, there are different kinds of solutions currently such as classical logic and truth maintenance techniques. 针对这个问题目前已有各种方法如用经典逻辑、真值维护等技术解决此类问题。